mod(Re(z)) mod(Im(z))=4